Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
511	Multi-dimensional sets recognizable in all abstract numeration systems Add to Reading List Source URL: www.cant.ulg.ac.be Language: English - Date: 2011-06-10 02:41:38 Formal languages Automata theory
512	University of Edinburgh A Study In The Use Of Event-B For System Development From A Software Engineering Viewpoint Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Science Theoretical computer science Systems engineering Software development methodology Scientific modelling Software development process B-Method Software testing Formal proof Software development Software Formal methods
513	Research Organization of Information and Systems The Institute of Statistical Mathematics[removed] Add to Reading List Source URL: www.ism.ac.jp Language: English - Date: 2014-03-05 04:46:16 Scientific method Formal sciences Abduction Deduction Psychometrics Statistical inference Data analysis Bioinformatics Machine learning Science Knowledge Statistics
514	DATA-POP ALLIANCE WHITE PAPERS SERIES Official Statistics, Big Data and Human Development: Towards a New Conceptual and Operational Approach Emmanuel Letouzé Add to Reading List Source URL: www.odi.org Language: English - Date: 2015-01-19 09:20:48 Scientific method Econometrics Official statistics Formal sciences Database management systems Economic data Data analysis Statistics New Zealand Big data Science Statistics Information
515	Project Services At the heart of GPD’s solution is the design of projects, especially work by teams across functional, corporate, and cultural boundaries. Starting before a project launches, high level Add to Reading List Source URL: www.gpdesign.com Language: English - Date: 2014-01-13 21:00:51 Team Formal methods Operations research Simulation Systems engineering process
516	Research Organization of Information and Systems The Institute of Statistical Mathematics[removed] Add to Reading List Source URL: www.ism.ac.jp Language: English - Date: 2014-03-05 04:46:30 Scientific method Statistical theory Statistical forecasting Data analysis Formal sciences Statistical inference Data assimilation Research Forecasting Science Statistics Knowledge
517	Microsoft PowerPoint - 02_04_Kuo_etal_2014_IEEE_BigData-RDA Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2014-11-27 23:51:53 Database management systems Formal sciences Big data Data modeling Transaction processing Technology Data management Emerging technologies
518	JASON JIXUAN HU, Ph.D. www.wintopgroup.com/team/jixuan/jjh-vita.pdf Email: JJH at WINTOPGROUP dot COM Permanent Residence: Phoenix, Arizona, USA RESEARCH EXPERIENCE Independent Researcher, since 2010, working on long-ter Add to Reading List Source URL: www.wintopgroup.com Language: English - Date: 2014-12-03 22:29:26 Systems science Knowledge Control theory Systems Formal sciences Second-order cybernetics Self-organization Kunming New cybernetics Cybernetics Science Systems theory
519	Principles of Systems and Cybernetics: an evolutionary perspective Francis HEYLIGHEN* PO, Free University of Brussels, Pleinlaan 2, B-1050 Brussels, Belgium [removed] Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:16 Thermodynamics Systems theory Thermodynamic entropy Formal sciences Superorganisms Francis Heylighen Self-organization Principia Cybernetica Non-equilibrium thermodynamics Cybernetics Science Systems science
520	NBD(NIST Big Data) Requirements WG Use Case Template Aug[removed]Use Case Title Statistical Relational AI for Health Care Vertical (area) Healthcare Author/Company/Email Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-25 09:47:22 Formal sciences Database management systems Database theory Emerging technologies Transaction processing Data analysis Big data Database Mashup Technology Computing Data management

UPDATE